Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
651	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics
652	Automation of Presentation Record Production Based on Rich-media Technology Using SNT Petri Nets Theory Ivo Martiník VŠB-Technical University of Ostrava, Faculty of Economics, Sokolská třída 33, Ostrava 1, Cz Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2015-03-20 07:10:01 Petri net Process calculus Models of computation Concurrency Diagrams
653	John von Neumann and the Evolutionary Growth of Complexity: Looking Backwards, Looking Forwards. . . Barry McMullin http://www.eeng.dcu.ie/~mcmullin/ c 2000The MIT Press Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 2004-05-21 18:12:48 Turing machine Academia Computability theory Models of computation Cellular automaton Universal Turing machine John von Neumann Self-replication Theory of computation Science Mathematics Artificial life
654	Computational Complexity in Membrane Systems Mario J. P´erez–Jim´enez Research Group on Natural Computing Dpt. of Computer Science and Artificial Intelligence University of Seville, Spain Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:23 Computability theory Theory of computation Computational complexity theory Models of computation Complexity classes Decision problem Church–Turing thesis Computability P Theoretical computer science Applied mathematics Computer science
655	0000_V53.09_SEPTEMBER.indb Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:32:45 Applied mathematics Philosophy of science Computational science Computational model Computer science Mathematics Scientific method Computation Scientific theory Science Epistemology Knowledge
656	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
657	Tree pattern matching by pushdown automata Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:46 Pattern matching A ISO 216 Software engineering Notation Automata theory Models of computation Pushdown automaton
658	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
659	Games and the Impossibility of Realizable Ideal Functionality Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Ajith Ramanathan1 , and Andre Scedrov2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:29:59 Commitment scheme Advantage Ciphertext indistinguishability Secure multi-party computation RSA Semantic security Cryptography Cryptographic protocols Universal composability
660	C0 Reference: Principles of Imperative Computation Frank Pfenning August 21, 2014 Compiler revision 384 (updates since January 30, 2011) Add to Reading List Source URL: c0.typesafety.net Language: English - Date: 2015-01-09 10:27:25 C programming language Data types C++ Procedural programming languages Type theory C++ classes Struct C Pointer Computing Software engineering Computer programming

UPDATE